"Kedar Namjoshi" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Hardware and Software: Verification and Testing

Kedar Namjoshi, Andreas Zeller, Avi Ziv

Категория: Компьютеры, Программирование

2.13 Mb

#2

Automated Technology for Verification and Analysis, 5 conf., ATVA 2007

Kedar Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura

Категория: CsLn_

6.10 Mb

#3

Verification, Model Checking, and Abstract Interpretation, 7 conf., VMCAI 2006

E. Allen Emerson, Kedar S. Namjoshi

Категория: Cs_Computer science, CsLn_Lecture notes

4.44 Mb